chain\_sys(${\it Cmd}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$${\it Cmd}$ + (${\it from}$:Id $\times$ (${\it Cmd}$ List))